Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties

The present report continues the work of deliverable I2-D2 [Bonatti and Olmedilla, 2005b] by presenting a series of reasoning techniques, that allow several kinds of verifications, such as compliance at run-time, verification of properties, goal achievement, capability checking, and interoperability. We will show how techniques, that are typically used in artificial intelligence, can be usefully adapted so to deal with policies on the web, improving the skill of negotiating of the involved entities. By reasoning on a policy before its adoption, an agent can customize it, refuse it if it does not allow the achievement of its own purposes, modify it to make it more profitable, avoid run-time errors. Keyword List semantic web, reasoning, policies, protocols, verification, conformance, temporal logics Project co-funded by the European Commission and the Swiss Federal Office for Education and Science within the Sixth Framework Programme.